A temporal framework for assembly sequence representation and analysis
نویسندگان
چکیده
AbstructA unifying temporal logic framework is proposed for modelling, specifying, and analyzing mechanical assembly sequences. Propositional temporal logic of Manna and Pneuli is the assertion language used for representing and analyzing all constraints or conditions that assembly sequences must satisfy. The generalization of the existing representations through the proposed framework is demonstrated. A new concept of reverse-equivalence, relating assembly and disassembly forms of knowledge, is introduced. It is shown that existing and new assembly sequence properties can be formulated and rigorously proved via mechanical theorem proving based on two assembly process-axioms, and the language inference rules and theorems. Comparison of the proposed framework with the existing representation schemes highlights the main strengths of the proposed framework, viz., temporal expressiveness, strong mechanical manipulation capability and precise formalism. The implementation of the framework on an IPC SUN SPARC workstation using Quintus Prolog for automatic generation of assembly sequences is described. A simple example illustrates the use of the proposed framework for representation, evaluation and selection of feasible assembly sequences.
منابع مشابه
توالی معنادار فعالیتها در مسکن، مطالعۀ موردی ایل قشقایی
Sequence of activities has evident and objective aspects in the people living environment that depend on subjective and meaningful aspects in their culture and lifestyle. The sequence of activities with two forms of "spatial and temporal", are ways of separation or aggregation of activities in different cultures dwelling, which lie at the origin of the formation of behaviour settings. The theor...
متن کاملA Multi-objective Mixed Model Two-sided Assembly Line Sequencing Problem in a Make –To- Order Environment with Customer Order Prioritization
Mixed model two-sided assembly lines (MM2SAL) are applied to assemble large product models, which is produced in high-volume. So, the sequence planning of products to reduce cost and increase productivity in this kind of lines is imperative. The presented problem is tackled in two steps. In step 1, a framework is developed to select and prioritize customer orders under the finite capacity of th...
متن کاملA bi-objective model for the assembly flow shop scheduling problem with sequence dependent setup times and considering energy consumption
متن کامل
Approximation of fixed points for a continuous representation of nonexpansive mappings in Hilbert spaces
This paper introduces an implicit scheme for a continuous representation of nonexpansive mappings on a closed convex subset of a Hilbert space with respect to a sequence of invariant means defined on an appropriate space of bounded, continuous real valued functions of the semigroup. The main result is to prove the strong convergence of the proposed implicit scheme to the unique solutio...
متن کاملA Lean Manufacturing Roadmap for an Automotive Body Assembly Line within Axiomatic Design Framework
In this paper we are to present a practical application of Axiomatic Design (AD) methodology, as a roadmap to lean production, in redesigning a car body assembly line. Axiomatic Design theory provides a framework to simplify the whole problem. According to the AD principles, a hierarchical structure has been developed. The developed structure originated in lean manufacturing principles and exis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Robotics and Automation
دوره 10 شماره
صفحات -
تاریخ انتشار 1994